4221. Trust in cyberspace /
پدیدآورنده: Fred B. Schneider, editor ; Committee on Information Systems Trustworthiness, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications, National Research Council.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer networks-- Security measures.,Internet-- Security measures.,Telecommunication policy-- United States.,Computer Security.,Internet.,Public Policy.,Telecommunications.,BUSINESS & ECONOMICS-- Industries-- Media & Communications.,Computer networks-- Security measures.,COMPUTERS.,Electrical & Computer Engineering.,Engineering & Applied Sciences.,Internet / Security.,Internet-- Security measures.,Internet.,Sicherheit,TECHNOLOGY & ENGINEERING-- Telecommunications.,Telecommunication policy.,Telecommunications.,Telekommunikationspolitik,Verteiltes System,United States.,USA., 7, 7
رده :
TK5105
.
59
.
T78
1999eb
4222. Truth from trash :
پدیدآورنده: Chris Thornton.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Machine learning.,Aanpassing.,APRENDIZADO COMPUTACIONAL.,Bewustzijn.,Computer Science.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Engineering & Applied Sciences.,INTELIGÊNCIA ARTIFICIAL.,Leerprocessen.,Leren.,Machine learning.,Maschinelles Lernen
رده :
Q325
.
4
.
T47
2000eb
4223. Truth, objects, infinity : new perspectives on the philosophy of Paul Benacerraf
پدیدآورنده: Fabrice Pataut, editor
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Benacerraf, Paul,، Mathematics -- Philosophy
رده :
QA
29
.
B515T7
4224. Turing :
پدیدآورنده: B. Jack Copeland
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Turing, Alan,1912-1954,Mathematicians-- Great Britain, Biography
رده :
QA20
.
T87
C78
2012
4225. Turing's connectionism :
پدیدآورنده: Christof Teuscher.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Genetischer Algorithmus.,Konnektionistisches Netz.,Turing-Maschine.
رده :
QA76
.
87
C475
2002
4226. Turing's revolution :
پدیدآورنده: Giovanni Sommaruga, Thomas Strahm, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computable functions.,Computer science-- Mathematics.
رده :
QA76
.
9
.
M35
4227. <2000=Two thousand> solved problems in discrete mathematics
پدیدآورنده: by Seymour Lipschutz, Marc Lars Lipson
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Mathematics Problems, exercises, etc,Computer science -- Mathematics Problems, exercises, etc
رده :
QA
،
43
،.
L666
،
1992
4228. Type logical grammar :
پدیدآورنده: by Glyn V. Morrill.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Categorial grammar.,Semantics (Philosophy),Type theory.
رده :
P161
.
B945
1994
4229. Type theory and formal proof :
پدیدآورنده: Rob Nederpelt, Eindhoven University of Technology, the Netherlands, Herman Geuvers, Radbound University Nijmegen, and Eindhoven University of Technology, the Netherlands
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Type theory
رده :
QA9
.
N37
2014
4230. Uncertainty Management in Information Systems :
پدیدآورنده: edited by Amihai Motro, Philippe Smets.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Text processing (Computer science)
رده :
QA76
.
9
.
D3
E358
1997
4231. Uncertainty Quantification
پدیدآورنده: \ Christian Soize
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science -- Mathematics,Probabilities,Applied mathematics,علوم کامپیوتر -- ریاضیات,احتمالات
رده :
E-Book
,
4232. Uncertainty Quantification in Computational Fluid Dynamic
پدیدآورنده: / edited by Hester Bijl, Didier Lucor, Siddhartha Mishra, Christoph Schwab
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Computer science, Mathematics,Computer science,Engineering mathematics,Astronautics,Electronic books
رده :
E-BOOK
4233. Uncertainty Theory
پدیدآورنده: by Baoding Liu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Distribution (Probability theory).,Engineering.,Operations research.
4234. Uncertainty-based information :elements of generalized information theory
پدیدآورنده: Klir, George J.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Soft computing,، Fuzzy systems,، Information theory
رده :
QA
76
.
9
.
S63
K58
1997
4235. Unconventional computing :
پدیدآورنده: Andrew Adamatzky, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Natural computation.,Artificial Intelligence.,Complex Systems.,Computational Biology/Bioinformatics.,Computational Intelligence.,Quantum Computing.,Theoretical and Computational Chemistry.,Computer science.,Natural computation.
رده :
QA76
4236. Unconventional models of computation, UMC'2K :
پدیدآورنده: I. Antoniou, C.S. Calude and M.J. Dinneen (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science -- Congresses.,Computer science.,Soft computing -- Congresses.
رده :
QA76
.
9
.
S63
I268
2001
4237. Undergraduate programs in the mathematical and computer sciences : the 1985-1986 survey
پدیدآورنده: / Donald J. Albers, Richard D. Anderson, Don O. Loftsgaarden
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Mathematics - Study and teaching (Higher) - United States - Statistics,Computer science - Study and teaching (Higher) - United States - Statistics
رده :
QA13
.
A43
1987
4238. Understand mathematics, understand computing :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Mathematics. ;
4239. Understanding and interpreting machine learning in medical image computing applications :
پدیدآورنده: Danail Stoyanov, Zeike Taylor, Seyed Mostafa Kia, Ipek Oguz, Mauricio Reyes et al. (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer-assisted surgery, Congresses.,Diagnostic imaging-- Data processing, Congresses.,Image Interpretation, Computer-Assisted.,Artificial intelligence.,Computer-assisted surgery.,Computers-- Computer Graphics.,Computers-- Computer Science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Diagnostic imaging-- Data processing.,Health & safety aspects of IT.,Image processing.,Life sciences: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Medical-- General.
رده :
RC78
.
7
.
D53
I58
2018
